写成向量形式即为 . 且有

从而得证.